Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems
نویسنده
چکیده
of the Dissertation
منابع مشابه
Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC
This paper proposes a SystemC based extension for the modeling of TimeTriggered Architecture (TTA) based real-time embedded systems. The extension called Executable Time-Triggered Model (E-TTM) supports the time-triggered model of computation and provides a time domain deterministic modeling framework based on SystemC. E-TTM can be used from the architectural design phase to support early funct...
متن کاملDistributed Embedded Safety Critical Real-Time Systems, Design and Verification Aspects on the Example of the Time Triggered Architecture
The Time Triggered Architecture (TTA) and its related communication protocol, TTP/C is an emerging communication principle for distributed fault-tolerant real-time systems. Typical applications are safety-critical digital control systems such as drive-by-wire and fly-by-wire. This paper highlights the hardware / software architecture and design of the first industrial single chip communication ...
متن کاملSimulation Tool for Functional Verification of Ttp/c–based Systems
This article describes a software tool that implements Clanguage written simulation model of distributed embedded computer system that is interconnected by means of TTP/C protocol. The aim of simulation is to evaluate specified system’s properties when used as a safety critical control system. The method that uses simulated faults to disturb system’s activity was developed during the solution o...
متن کاملTowards Secure Time-Triggered Systems
This paper presents the development of a novel joint safety and security architecture for dependable embedded time-triggered systems. While fault-tolerance properties of time-triggered protocols have been very well studied, research on security aspects for time-triggered systems have hardly been covered. Therefore, we explore system design principles which efficiently realize security mechanism...
متن کاملDependability assessment of by-wire control systems using fault injection
This paper is focused on the validation by means of physical fault injection at pin level of a time-triggered communication controller: the TTP/C versions C1 and C2. The controller is a commercial off-the-shelf product used in the design of by-wire systems. Drive-by-wire and flyby-wire active safety controls aim to prevent accidents. They are considered to be of critical importance because a se...
متن کامل